Adding Convexity to Mereotopology
نویسندگان
چکیده
Convexity predicates and the convex hull operator continue to play an important role in theories of spatial representation and reasoning, yet their firstorder axiomatization is still a matter of controversy. In this paper, we present a new approach to adding convexity to a mereotopological theory with boundary elements by specifying first-order axioms for a binary segment operator s. We show that our axioms yield a convex hull operator h that supports, not only the basic properties of convex regions, but also complex properties concerning region alignment. We also argue that h is stronger than convex hull operators from existing axiomatizations and show how to derive the latter from our axioms for s. Final version published in Pawel Garbacz and Oliver Kutz (eds.), Formal Ontology in Information Systems. Proceedings of the Eighth International Conference, Amsterdam, IOS Press, 2014, pp. 65–78.
منابع مشابه
Region-based Discrete Geometry
This paper is an essay in axiomatic foundations for discrete geometry intended, in principle, to be suitable for digital image processing and (more speculatively) for spatial reasoning and description as in AI and GIS. Only the geometry of convexity and linearity is treated here. A digital image is considered as a nite collection of regions; regions are primitive entities (they are not sets of ...
متن کاملSOME PROPERTIES FOR FUZZY CHANCE CONSTRAINED PROGRAMMING
Convexity theory and duality theory are important issues in math- ematical programming. Within the framework of credibility theory, this paper rst introduces the concept of convex fuzzy variables and some basic criteria. Furthermore, a convexity theorem for fuzzy chance constrained programming is proved by adding some convexity conditions on the objective and constraint functions. Finally,...
متن کاملModel-Theoretic Analysis of Asher And Vieu's Mereotopology
Model-Theoretic Analysis of Asher And Vieu's Mereotopology
متن کاملA Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry by
A Reconciliation of Logical Representations of Space: from Multidimensional Mereotopology to Geometry Torsten Hahmann Doctor of Philosophy Graduate Department of Computer Science University of Toronto 2013 Reasoning about spatial knowledge is an important aspect of computational intelligence. Humans easily switch between high-level and low-level spatial knowledge, while computers have tradition...
متن کاملDynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
Dimiter Vakarelov DYNAMIC MEREOTOPOLOGY
متن کامل